$\forall$$g$:IMonoid, $e$:$\mid$$g$$\mid$. 0 x($\ast$;e) $e$ = e $\in$ $\mid$$g$$\mid$